statechart相关论文
该论文的主要内容,即是在针对这一专用领域的CASE工具开发的九五军事预研项目的基础上完成的.论文主要围绕军预研项目中采用的嵌入......
Statechart是一种用于反应式实时系统的行为建模语言.针对Statechart行为建模的需要,设计并已部分实现基于Statechart的行为规格模......
期刊
Statechart是一种用以规约复杂反应式系统行为的可视化语言.它在一些方面上扩展了典型的状态转移图,保留甚至发挥了可视化要求.实......
期刊
XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exc......
着重讨论了CAD协同设计工作流管理中的工作流表示模型 ,提出了运用状态图的形式来表示工作流的模型 ,并详细描述了其定义、特性、......
采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是......
为了及时解决由于关注点横切所产生的＂代码交织＂与＂代码散布＂问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态......
为了及时解决由于关注点横切所产生的＂代码交织＂与＂代码散布＂问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态......
在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战：全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基......
状态图是UML（Unified Modeling Language）语言中刻画对象行为的重要视图，而如何对状态图模型定义的正确性和有效性进行检验一直是一个......
将UML（统一建模语言）图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径。PVS是一种通用高阶逻辑形......
首先简要介绍了C4ISR系统体系结构，然后在基于Statemate的系统体系结构分析的基础上，结合防空系统实例给出了它的详细开发过程，为C4IS......
统一建模语言(UML)是一组面向对象分析和设计的形式化表达语言,基于UML,统一软件开发过程(USDP)提出了软件开发的过程方法.目前,基......
主要介绍了面向对象软件的类测试技术。从基于对象状态方面分析UML状态图的组成、并发的优点,描述继承的对象动态行为、并发的动态......
Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语......
Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语......
模型驱动开发（MDD）是由OMG提出的通用软件开发标准，旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用......
UML已经是软件建模方面的标准语言，UML Staechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，Statecha......
UML已经是软件建模方面的标准语言，UML Staechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，Statecha......
Ｓｔａｔｅｃｈａｒｔ是一种用于反应式实时系统的行为建模语言。针对Ｓｔａｔｅｃｈａｒｔ行为建原需要，设计并已部分实现基于Ｓｔａｔｃｈａｒｔ的行为规格模型创建工具。该工具将为反应式实时......
Ｓｔａｔｅｃｈａｒｔ是一种用于反应式实时系统的行为建模语言。针对Ｓｔａｔｅｃｈａｒｔ行为建原需要，设计并已部分实现基于Ｓｔａｔｃｈａｒｔ的行为规格模型创建工具。该工具将为反应式实时......
测试用例的生成是软件测试的关键和难点所在。基于UML状态图的测试是近年来研究的热点。本文根据UML状态图的层次结构，提出了对UML......
针对主动对象这样一种常见的应用程序形式,提出了一种面向测试的开发框架,以缩短软件开发周期和提高软件质量.该框架选择Statechar......
针对主动对象这样一种常见的应用程序形式,提出了一种面向测试的开发框架,以缩短软件开发周期和提高软件质量.该框架选择Statechar......
XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exc......
WWW的指数级增长和Web应用的复杂性,需要系统化的方法和模型以支持Web应用的开发,导航建模是Web应用开发的特殊需求.提出了基于状......
Ｓｔａｔｅｃｈａｒｔ是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图，保留甚至发挥了可视化要求。实际上，Ｓｔａｔｅｃｈａｒｔ满足层......
Ｓｔａｔｅｃｈａｒｔ是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图，保留甚至发挥了可视化要求。实际上，Ｓｔａｔｅｃｈａｒｔ满足层......
Ｌｉｖｅｃｈａｒｔ是地Ｓｔａｔｅｃｈａｒｔ的扩展，它可用于并发系统活动性的验证，并具有直观和严格的特点。它既可以方便地表达用户的直觉又具有严格的语义，因此它在用户的......
Ｌｉｖｅｃｈａｒｔ是地Ｓｔａｔｅｃｈａｒｔ的扩展，它可用于并发系统活动性的验证，并具有直观和严格的特点。它既可以方便地表达用户的直觉又具有严格的语义，因此它在用户的......
针对数控系统复杂行为的描述和控制，分析了采用有限状态机方法的利弊，提出了采用UMLStatechart的系统行为描述方法。应用该方法对一......
分析UM L状态图的组成、标准事件和嵌套、并发的优点,给出利用UM L状态图产生测试用例的软件测试方法。该方法可以把状态的复杂度......
Hybrid systems are important in applications in CAD, real-time software, robotics and automation, mechatronics, aeronaut......
UML Statechart是UML的一个主要组成部分,与其他类型的Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确......
